arandilopez

(*

Rard, B. (2001). Systems and software verification: Model-checking techniques and tools. Berlin: Springer.

*)


procedure marking(phi)

	(* Caso de que phi sea una proposicion atomica *)

arandilopez

#!/bin/sh
#
# Push every crap you have done.
#

branch=$(git rev-parse --abbrev-ref HEAD)
git push -f origin $branch

arandilopez

exports.definition = {

  config: {
    columns: {
      // ...
    },
    adapter: {
      type:            "sql",
      collection_name: "MyModels"
    }

arandilopez

<?xml version="1.0" encoding="UTF-8"?>
<beans xmlns="http://www.springframework.org/schema/beans"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:security="http://www.springframework.org/schema/security"
    xsi:schemaLocation="http://www.springframework.org/schema/security http://www.springframework.org/schema/security/spring-security-3.1.xsd
        http://www.springframework.org/schema/beans http://www.springframework.org/schema/beans/spring-beans.xsd">

    <security:authentication-manager alias="authenticationManager">
        <security:authentication-provider
            user-service-ref="userService">
            <security:password-encoder hash="md5"

arandilopez

#include <stdio.h>

int main()
{
	int i,space,rows,k=0;
	printf("Enter the number of rows: ");
	scanf("%d",&rows);
	for(i=1;i<=rows;++i)
	{
		for(space=1;space<=rows-i;++space)